virtual double category

Backlinks

• double category

  • virtual double category: even weaker

• virtual double graph

  • the data underlying a virtual double category